window.highlighter = { 
  setTheme() { }
}
